Simply typed lambda calculus - PDFSEARCH.IO - Document Search Engine

Simply typed lambda calculus
Results: 80

#	Item
21	Type-Directed Partial Evaluation Olivier Danvy Computer Science Department Aarhus University y () Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Computer science Logic in computer science Type theory Data types Subroutines Simply typed lambda calculus Normalization property Combinatory logic Type system Lambda calculus Theoretical computer science Software engineering
22	On the Power of Coercion Abstraction Julien Cretin Didier Rémy INRIA Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2012-02-08 07:43:20 Type theory Models of computation Lambda calculus Data types Computability theory Simply typed lambda calculus ALGOL 68 Type system Programming Computable Functions Programming language theory Theoretical computer science Computer science
23	Introduction to Type Theory August 2007 Types Summer School Bertinoro, It Herman Geuvers Add to Reading List Source URL: typessummerschool07.cs.unibo.it Language: English - Date: 2007-08-20 10:27:22 Lambda calculus Type theory Logic in computer science Models of computation Curry–Howard correspondence Philosophy of computer science Simply typed lambda calculus System F Type system Theoretical computer science Computer science Mathematical logic
24	Polymorphic Binding Time Analysis Masters Thesis Christian Mossin DIKU, Department of Computer Science University of Copenhagen Universitetsparken 1, DK-2100 Copenhagen Ø Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:52 Programming language theory Data types Polymorphism Lambda calculus Object-oriented programming Type system Type inference Hindley–Milner Simply typed lambda calculus Software engineering Type theory Computing
25	The Arrow Calculus (Technical Report) Sam Lindley Philip Wadler Add to Reading List Source URL: groups.inf.ed.ac.uk Language: English - Date: 2008-07-22 11:55:55 Mathematical logic Fixed-point combinator Arrow Simply typed lambda calculus Function Natural deduction Combinatory logic Theoretical computer science Mathematics Lambda calculus
26	COMBINING PROOFS AND PROGRAMS Chris Casinghino A DISSERTATION in Computer and Information Science Presented to the Faculties of the University of Pennsylvania Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-10-09 16:17:45 Computing Type system Coq Dependent type C Interpretation Simply typed lambda calculus Denotational semantics Type theory Programming language theory Software engineering
27	A Gentle Introduction to Semantic Subtyping Giuseppe Castagna CNRS ´ Ecole Add to Reading List Source URL: www.cduce.org Language: English - Date: 2013-12-06 16:18:26 Computing Data types Object-oriented programming Lambda calculus Polymorphism Subtype polymorphism Type system Simply typed lambda calculus Denotational semantics Type theory Software engineering Theoretical computer science
28	The Subject Reduction Property in the λΠ-calculus modulo Ronan Saillard MINES ParisTech Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2015-01-06 09:50:21 Mathematics Lambda calculus Formal languages Symbol Rewriting Simply typed lambda calculus Combinatory logic Natural deduction Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
29	Typed Self-Representation Tillmann Rendel Klaus Ostermann Christian Hofer Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2009-03-29 13:41:42 Programming language theory Type theory Fixed-point combinator Simply typed lambda calculus System F Typed lambda calculus Type system Generalized algebraic data type Entailment Theoretical computer science Software engineering Lambda calculus
30	HOL with Definitions: Semantics, Soundness, and a Verified Implementation Ramana Kumar1 , Rob Arthan2 , Magnus O. Myreen1 , and Scott Owens3 2 1 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-05-14 09:11:24 Model theory Proof theory Logic in computer science Philosophy of language Formal methods HOL Higher-order logic Simply typed lambda calculus Soundness Logic Mathematical logic Mathematics